--- Test case for issue #68
package tests.comp.Issue68
        -- inline(§, k, s, i, b)
    where
    


data Y f = Y (f (Y f))

datum = Y (Left "Yes") 
--- This should compile without sending the code generation in an endless loop 
unR (Y (Left x) )  = Just x
unR (Y (Right x)) = Nothing
-- 

main = do println $ unR datum
        